A Reverse Analysis of the Sylvester-Gallai Theorem
نویسنده
چکیده
Reverse analyses of three proofs of the Sylvester-Gallai theorem lead to three different and incompatible axiom systems. In particular, we show that proofs respecting the purity of the method, using only notions considered to be part of the statement of the theorem to be proved, are not always the simplest, as they may require axioms which proofs using extraneous predicates do not rely upon.
منابع مشابه
The Sylvester-Gallai Theorem, the Monochrome Line Theorem and Generalizations Report for a Seminar on the Sylvester-Gallai Theorem
متن کامل
The Sylvester-Chvatal Theorem
The Sylvester-Gallai theorem asserts that every finite set S of points in two-dimensional Euclidean space includes two points, a and b, such that either there is no other point in S is on the line ab, or the line ab contains all the points in S. V. Chvátal extended the notion of lines to arbitrary metric spaces and made a conjecture that generalizes the Sylvester-Gallai theorem. In the present ...
متن کاملA new proof of the Sylvester-Gallai theorem
In 1893 J. J. Sylvester [8] posed the following celebrated problem: Given a finite collection of points in the affine plane, not all lying on a line, show that there exists a line which passes through precisely two of the points. Sylvester’s problem was reposed by Erdős in 1944 [4] and later that year a proof was given by Gallai [6]. Since then, many proofs of the Sylvester-Gallai Theorem have ...
متن کاملExtremal Problems Related to the Sylvester–Gallai Theorem
We discuss certain extremal problems in combinatorial geometry, including Sylvester’s problem and its generalizations.
متن کاملIdentity Testing for Depth-3 Circuits with Small Fan-in
4 History of the Sylvester-Gallai Problem 6 4.1 Melchior’s Inequality . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 4.2 Motzkin’s Inequality . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 4.3 Kelly and Moser . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 4.4 Green and Tao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 4.5 How to describe 3-color ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 50 شماره
صفحات -
تاریخ انتشار 2009